class C {
  String empty = """
      "\"";
}